25,288 research outputs found

    Trapping of transuranium elements by the earth's magnetic field

    Get PDF
    The search for a transuranium element component of cosmic radiation has been carried out in high altitude balloon experiments. The trapping of high Z elements on orbits in the Earth's magnetic field may lead to a sufficient enhancement of the intensity of particle flux to make it possible to detect these elements by satellite experiments. Calculations are presented that predict the behavior of trapped particles as a function of the predicted flux and energy distribution of high Z elements incident on the Earth's magnetic field. Techniques are suggested for the detection of such particles. In addition, the possibility of production of transuranium elements in the recently discovered pulsars are discussed

    Putting time into proof outlines

    Get PDF
    A logic for reasoning about timing of concurrent programs is presented. The logic is based on proof outlines and can handle maximal parallelism as well as resource-constrained execution environments. The correctness proof for a mutual exclusion protocol that uses execution timings in a subtle way illustrates the logic in action

    Operational Semantics of Process Monitors

    Full text link
    CSPe is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components. It includes constructs to explicitly flag failures to the monitor, which unlike deadlocks and livelocks in conventional process algebras, propagate globally and aborts the whole system's execution. Although CSPe has a trace semantics along with an implementation demonstrating acceptable performance, it lacks an operational semantics. An operational semantics is not only more accessible than trace semantics but also indispensable for ensuring the correctness of the implementation. Furthermore, a process algebra like CSPe admits multiple denotational semantics appropriate for different purposes, and an operational semantics is the basis for justifying such semantics' integrity and relevance. In this paper, we develop an SOS-style operational semantics for CSPe, which properly accounts for explicit failures and will serve as a basis for further study of its properties, its optimization, and its use in runtime verification

    Economic Development and the Timing and Components of Population Growth

    Get PDF
    This paper examines the relationship between population growth and economic growth in developing countries from 1965 to 1985. Our results indicate that developing countries were able to shift their labor force from low-productivity agriculture to the higher-productivity industry and service sectors, and to increase productivity within those sectors, despite the rapid growth of their populations. We also find that at given rates of population growth, income growth is related to the time path of population growth and that population growth due to high birth and death rates is associated with slower income growth than population growth due to relatively low birth and death rates. Hence, the timing and components of population growth are important elements in the process of economic development.

    The "Youth Problem": Age or Generational Crowding?

    Get PDF
    This paper attempts to distinguish between two alternative views of the labor market problems faced by young workers in a number of industrialized countries in the 1970s and early 1980s. The first view is that the low relative earnings and high unemployment rates experienced by these workers were largely "age" related. Although this view carries the implication that the problems will disappear for recent youth cohorts as they grow older, it also implies that the problems will be "handed over" to successive waves of youth cohorts as they enter the labor market. The second view is that the labor market problems of recent youth cohorts are a consequence of their large size. This view has very different implications since generational crowding can permanently or temporarily depress the economic position of large cohorts but need not have an adverse effect on later waves of smaller youth cohorts. On the basis of a multicountry empirical analysis of patterns ofcohort size, earnings, unemployment, and the distribution of young workers across industries, we have four main sets of findings to report. First, the baby-boom was not uniformly experienced across OECD economies - in terms of either its timing or magnitude. While some countries, such as Canada, the U.S., and Belgium had large increases in the youth share ofthe population from 1965 to 1980, others, notably Japan and Switzerland, had large decreases. Second, our empirical results indicate that large cohort size tends to have a negative effect on the "expected relative earnings" of the cohort, where expected relative earnings is defined as the product of the earnings and the employment-to-labor force ratio of a young cohort relative to the same product for an older cohort. There is, moreover, a marked trade-off betweenthe relative earnings effect and the relative employment effect with large cohort sizes reducing relative earnings in some countries and reducing reiative employment in others. Third, at least for the U.S., the relatively low wages and high unemployment of the "unlucky cohorts" tend to converge to the patterns that would have resulted had the cohorts been more "normal" in size, with the convergence occurring within a decade or so. Fourth, our results show that baby-boom cohorts were absorbed inthe U.S. and other OECD economies quite evenly across a wide range of industries. This finding contradicts the popular belief that large youth cohorts were absorbed primarily through expansion of those industries that have been traditionally youth-intensive.

    Population Growth, Labor Supply, and Employment in Developing Countries

    Get PDF
    The economies of the less developed countries are about to face perhaps the greatest challenge in their histories: generating a sufficient number of jobs at reasonable wages to absorb their rapidly growing populations into productive employment. In terms of absolute magnitude, this challenge has no precedent in human history. In some respects, this challenge is also unprecedented in terms of its nature, given, on the one hand, the limited availability of natural resources in many countries and, on the other hand,the widespread availability of advanced technology.This paper examines the nature and magnitude of the principal effects of population growth on labor supply and employment in the developing economies of the world. On the supply side of labor markets, we discuss key features of the interrelations between population growth and the labor force. These include the lags between population growth and labor force participation; the independent effects on labor supply of accelerated population growth due to changes in fertility, mortality, and migration; patterns and trends in labor force participation rates; and gender differences in labor supply behavior. On the demand side, we describe and analyze the nature of labor markets in developing economies and attempt to identify the key factors that condition their labor absorption capacity. Descriptive statistics on the characteristics of developing country labor markets and on the relationships between population growth, labor supply, employment shifts, and growth of output per worker are presented and discussed.The key result of our analysis is that, despite the unprecedented magnitude of population growth and the existence of imperfections in labor markets, developing economies tended to shift between 1960 and 1980, from low-productivity agriculture to the higher productivity service and industrial sectors and, albeit with some exceptions, to raise real income per capita. With respect to their prospects for the remainder of this century, we also conclude that Malthusian disasters will not necessarily be the result of forecasted population growth, provided the developing economies can generate human and physical capital investments of comparable relative magnitudes to the past two decades. However, on the basis of past history, the middle-income developing countries are likely to perform better in this respect than the low-income countries, some of whom may need considerable help if they are to absorb increased population while shifting labor to more productive sectors and raising output per worker.

    Mountain building processes in the Central Andes

    Get PDF
    False color composite images of the Thematic Mapper (TM) bands 5, 4, and 2 were examined to make visual interpretations of geological features. The use of the roam mode of image display with the International Imaging Systems (IIS) System 600 image processing package running on the IIS Model 75 was very useful. Several areas in which good comparisons with ground data existed, were examined in detail. Parallel to the visual approach, image processing methods are being developed which allow the complete use of the seven TM bands. The data was organized into easily accessible files and a visual cataloging of the quads (quarter TM scenes) with preliminary registration with the best available charts for the region. The catalog has proved to be a valuable tool for the rapid scanning of quads for a specific investigation. Integration of the data into a complete approach to the problems of uplift, deformation, and magnetism in relation to the Nazca-South American plate interaction is at an initial stage

    Perceived Cognitive Changes with Chemotherapy for Breast Cancer: A Pilot Study

    Get PDF
    Purpose The purpose of this study was to determine perceived cognitive functioning, fatigue, depression and general well-being among women before and after the initiation of chemotherapy for breast cancer compared to a sample of healthy women. Method This descriptive, repeated measures study compared women receiving chemotherapy and healthy women. Women completed measures of quality of life, fatigue, cognitive changes and depression. Results Before chemotherapy, women with cancer reported more fatigue and depression than healthy women. After chemotherapy, women with cancer reported decreased cognitive functioning accompanied by more fatigue and depressive symptoms than healthy women. Conclusion This study is one of the first to use multiple symptom measures before and after starting chemotherapy. Understanding cognitive changes and related symptoms that occur before and during chemotherapy for breast cancer is the first step toward helping women cope with changes that occur with breast cancer treatment

    A New Low-Mass Eclipsing Binary from SDSS-II

    Full text link
    We present observations of a new low-mass double-lined eclipsing binary system discovered using repeat observations of the celestial equator from the Sloan Digital Sky Survey II. Using near-infrared photometry and optical spectroscopy we have measured the properties of this short-period [P=0.407037(14) d] system and its two components. We find the following parameters for the two components: M_1=0.272+/-0.020 M_sun, R_1=0.268+/-0.010 R_sun, M_2=0.240+/-0.022 M_sun, R_2=0.248+/-0.0090 R_sun, T_1=3320+/-130 K, T_2=3300+/-130 K. The masses and radii of the two components of this system agree well with theoretical expectations based on models of low-mass stars, within the admittedly large errors. Future synoptic surveys like Pan-STARRS and LSST will produce a wealth of information about low-mass eclipsing systems and should make it possible, with an increased reliance on follow-up observations, to detect many systems with low-mass and sub-stellar companions. With the large numbers of objects for which these surveys will produce high-quality photometry, we suggest that it becomes possible to identify such systems even with sparse time sampling and a relatively small number of individual observations.Comment: 15 Pages, 9 Figures, 6 Tables. Replaced with version accepted to Ap
    • …
    corecore